Fluidification of Stochastic Petri Net by Non Linear Timed Continuous Petri Net
نویسنده
چکیده
Reliability analysis is often based on stochastic discrete event models like Markov models or stochastic Petri nets. For complex dynamical systems with numerous components, analytical expressions of the steady state are tedious to work out because of the combinatory explosion with discrete models. Moreover, the convergence of stochastic estimators is slow. For these reasons, fluidification can be investigated to estimate the asymptotic behaviour of stochastic processes with timed continuous Petri nets. The contributions of this paper are to sum up some properties of the asymptotic mean marking and average throughputs of stochastic and timed continuous Petri nets, then to point out the limits of the fluidification in the context of the stochastic steady state approximation. To overcome these limitations, the new semantic and the condition for convergence is proposed: fluid Petri nets with Non Linear Timed Continuous Petri Net (NL-CPN).
منابع مشابه
An Application for the Control of Stochastic Petri nets via Fluidification Approach
Petri nets are frequently used for modeling and analysis of discrete event systems. Similar to other modeling formalisms for discrete systems, it suffers from state explosion. Fluidification can be used to overcome this difficulty yielding fluid approximation of original Petri nets in the sense of behaviours and properties. This models are called continuous Petri nets. In this work, stochastic ...
متن کاملStochastic State-Continuous Approximation of Markovian Petri Net Systems
Fluidification constitutes a relaxation technique to study discrete event systems through a continuous approximated model, thus avoiding the state explosion problem. In this paper, the approximation by deterministic Timed Continuous Petri nets under infinite server semantics is studied. The main contribution of this work is the addition of gaussian noise in order to obtain a better (but stochas...
متن کاملMapping Activity Diagram to Petri Net: Application of Markov Theory for Analyzing Non-Functional Parameters
The quality of an architectural design of a software system has a great influence on achieving non-functional requirements of a system. A regular software development project is often influenced by non-functional factors such as the customers' expectations about the performance and reliability of the software as well as the reduction of underlying risks. The evaluation of non-functional paramet...
متن کاملTiming and liveness in continuous Petri nets
Fluidification constitutes a relaxation technique for studying discrete event systems through fluidified approximated models, thus avoiding the state explosion problem. Moreover, the class of continuous models thus obtained may be interesting in itself. In Petri nets, fluidification leads to the so called continuous Petri nets, that are technically hybrid models. Under infinite server semantics...
متن کاملApproximation of Stochastic Petri Nets Steady State by Cpn with Piecewise-constant Maximal Firing Speeds
Reliability analysis for reparable multi-components systems is based on stochastic discrete event models like Markov models or Stochastic Petri Nets (SPNs). When the number of components increases, the analytical expression of the steady state is tedious to work out because of the combinatory explosion with discrete models. For this reason, fluidification is investigated to estimate the asympto...
متن کامل